- теория рекурсивности
- матем. teoria di ricorsività
Dictionnaire technique russo-italien. 2013.
теория рекурсивности
Смотреть что такое "теория рекурсивности" в других словарях:
Рекурсивные функции — (от позднелатинского recursio возвращение) название, закрепившееся за одним из наиболее распространённых вариантов уточнения общего понятия арифметического алгоритма, т.е. такого Алгоритма, допустимые исходные данные которого представляют … Большая советская энциклопедия
БАШЛЯР — (Bachelard) Гастон (1884 1962) французский философ, методолог, культуролог, психолог. Основоположник неореализма как направления (подхода) в философии науки. Сам Б. термином ‘неорационализм’ не пользовался, обозначая свою концепцию (в зависимости … История Философии: Энциклопедия
БАШЛЯР (BACHELARD) Гастон (1884-1962) — французский философ, методолог, культуролог, психолог. Основоположник неореализма как направления (подхода) в философии науки. Сам Б. термином неорационализм не пользовался, обозначая свою концепцию (в зависимости от аспекта рассмотрения… … История Философии: Энциклопедия
ПОРЯДОК СОЦИАЛЬНЫЙ — понятие, выражающее устойчивость и организованность общественной жизни, а также возможность объективирования социального и, следовательно, его концептуализации. П. с. был проблематизирован Гоббсом через вопрос: как возможно общество? Проблема П.… … Современный философский словарь
Кибернетика — (от др. греч. κυβερνητική «искусство управления»[1]) наука об общих закономерностях процессов управления и передачи информации в различных системах, будь то машины, живые организмы или общество. Содержание 1 Обзор … Википедия
Кибернетик — Кибернетика (от греч. kybernetike «искусство управления», от греч. kybernao «правлю рулём, управляю», от греч. Κυβερνήτης «кормчий») наука об общих закономерностях процессов управления и передачи информации в машинах, живых организмах и… … Википедия
Грамматика составляющих — Генеративная лингвистика … Википедия
НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… … Математическая энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
Словообразование — Словообразование 1) образование слов, называемых производными и сложными, обычно на базе однокорневых слов по существующим в языке образцам и моделям с помощью аффиксации (см. Аффикс), словосложения, конверсии и других формальных средств.… … Лингвистический энциклопедический словарь
